Books by author Frank S. de Boer

Showing 1 – 12 out of 12 results

1. 

   Formal Methods for Components and Objects

   Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   Low in stock at our supplier - Shipping in 10 - 15 days

   Language: English

   Binding: Paperback

   71.25 €

   Buy
2. 

   Formal Methods for Components and Objects

   Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Low in stock at our supplier - Shipping in 10 - 15 days

   Language: English

   Binding: Paperback

   64.96 €

   Buy
3. 

   Formal Methods for Components and Objects

   Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 9 - 13 days

   Language: English

   Binding: Paperback

   72.07 €

   Buy
4. 

   Formal Methods for Components and Objects

   Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Low in stock at our supplier - Shipping in 10 - 15 days

   Language: English

   Binding: Paperback

   71.25 €

   Buy
5. 

   Formal Methods for Components and Objects

   Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   Low in stock at our supplier - Shipping in 10 - 15 days

   Language: English

   Binding: Paperback

   71.25 €

   Buy
6. 

   Formal Methods for Components and Objects, FMCO 2002

   Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf | Springer, Berlin, 2003

   
   

   Low in stock at our supplier - Shipping in 10 - 15 days

   Language: English

   Binding: Paperback

   71.25 €

   Buy
7. 

   Formal Methods for Components and Objects

   Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 9 - 13 days

   Language: English

   Binding: Paperback

   72.07 €

   Buy
8. 

   Formal Methods for Components and Objects

   Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Low in stock at our supplier - Shipping in 10 - 15 days

   Language: English

   Binding: Paperback

   71.25 €

   Buy
9. 

   Verification of Sequential and Concurrent Programs

   Krzysztof R. Apt, Ernst-Rüdiger Olderog, Frank S. de Boer | Springer London Ltd, 2009

   
   

   Low in stock at our supplier - Shipping in 10 - 15 days

   Language: English

   Binding: Hardback

   140.34 €

   Buy
10. 

    Formal Methods for Components and Objects

    Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf | Springer, Berlin, 2006

    
    

    Low in stock at our supplier - Shipping in 10 - 15 days

    Language: English

    Binding: Paperback

    71.25 €

    Buy
11. 

    Theoretical Computer Science

    Jos C.M. Baeten, Tom Ball, Frank S. de Boer | Springer, Berlin, 2012

    
    

    Low in stock at our supplier - Shipping in 10 - 15 days

    Language: English

    Binding: Paperback

    71.25 €

    Buy
12. 

    Formal Methods for Components and Objects

    Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

    
    

    Low in stock at our supplier - Shipping in 10 - 15 days

    Language: English

    Binding: Paperback

    71.25 €

    Buy

For a small fee elegant gift-wrap is available. Find out more